21![Agile Specifications Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {drayside, aleks, kuat, gdennis, dnj}@csail.mit.edu Ab Agile Specifications Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {drayside, aleks, kuat, gdennis, dnj}@csail.mit.edu Ab](https://www.pdfsearch.io/img/ff63cdb247df2483bbb6b808176ae522.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2012-02-19 15:58:07
|
---|
22![αRby : An Embedding of Alloy in Ruby Aleksandar Milicevic, Ido Efrati, and Daniel Jackson {aleks,idoe,dnj}@csail.mit.edu 1 αRby : An Embedding of Alloy in Ruby Aleksandar Milicevic, Ido Efrati, and Daniel Jackson {aleks,idoe,dnj}@csail.mit.edu 1](https://www.pdfsearch.io/img/4cc11b575006a5376701e7073830e237.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2014-10-26 13:00:50
|
---|
23![Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu](https://www.pdfsearch.io/img/7e6698add46d132ebb48f82b9f6c4c6f.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2014-08-13 19:26:58
|
---|
24![Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory](https://www.pdfsearch.io/img/5c7c2f541d4cc4921ff7195ca22c0641.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2014-10-06 20:27:30
|
---|
25![Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Chang and Daniel Jackson Formal Methods ’08 · Turku, Finland · May 30, 2008 Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Chang and Daniel Jackson Formal Methods ’08 · Turku, Finland · May 30, 2008](https://www.pdfsearch.io/img/ff02794a5337685603a780279fdf5645.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2014-08-13 19:26:59
|
---|
26![Equality and Hashing for (almost) Free: Generating Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artif Equality and Hashing for (almost) Free: Generating Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artif](https://www.pdfsearch.io/img/64045969152c426b5eaa771baf3f873c.jpg) | Add to Reading ListSource URL: sdg.csail.mit.eduLanguage: English - Date: 2014-05-07 00:01:25
|
---|
27![αRby—An Embedding of Alloy in Ruby Aleksandar Milicevic, Ido Efrati, and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, idoe, dnj}@csail.mit.edu αRby—An Embedding of Alloy in Ruby Aleksandar Milicevic, Ido Efrati, and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, idoe, dnj}@csail.mit.edu](https://www.pdfsearch.io/img/a5265ad5d53bcc2158ab4ea6b2c443c4.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2014-06-06 14:09:52
|
---|
28![Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based](https://www.pdfsearch.io/img/fb55977aef864432d1b7f6415ad68788.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2014-08-13 19:26:58
|
---|
29![A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit](https://www.pdfsearch.io/img/da4c953898239bd236aa9af7b84c4c16.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2014-08-13 19:26:58
|
---|
30![I CAN HAS IR THEORY? The Duck of Minerva Working Paper Patrick Thaddeus Jackson American University Daniel H. Nexon Georgetown University I CAN HAS IR THEORY? The Duck of Minerva Working Paper Patrick Thaddeus Jackson American University Daniel H. Nexon Georgetown University](https://www.pdfsearch.io/img/32755594f4d1c8ed0deea301d6eb041c.jpg) | Add to Reading ListSource URL: duckofminerva.dreamhosters.comLanguage: English - Date: 2014-08-27 14:12:25
|
---|